M. Broy: د Z-Library په سایټ کښې پلټل

M. Broy, W. Sitou and T. Hoare

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

کال:

2022

ژبه:

english

فایل:

PDF, 6.02 MB

5.0 / 5.0

english, 2022

Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security

IOS Press

کال:

2009

ژبه:

english

فایل:

PDF, 3.52 MB

0 / 0

english, 2009

Formal Methods and Models for System Design: A System Level Perspective

Springer US

Manfred Broy (auth.), Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin (eds.)

کال:

2004

ژبه:

english

فایل:

PDF, 23.23 MB

0 / 0

english, 2004

Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Christian Ferdinand, Reinhold Heckmann (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

کال:

2006

ژبه:

english

فایل:

PDF, 4.65 MB

0 / 0

english, 2006

Requirements Engineering Artifact Quality: Definition and Control

Universitätsbibliothek der TU München

Broy, Manfred, Femmer, Henning, Glinz, Martin

کال:

2017

ژبه:

english

فایل:

PDF, 4.36 MB

0 / 0

english, 2017

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

کال:

1985

ژبه:

english

فایل:

DJVU, 5.69 MB

0 / 0

english, 1985

Formal Systems Specification: The RPC-Memory Specification Case Study

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

کال:

1996

ژبه:

english

فایل:

DJVU, 4.41 MB

5.0 / 4.0

english, 1996

Software Systems Reliability and Security

IOS Press

M. Broy, M Broy, T. Hoare, J. Grunbauer

کال:

2007

ژبه:

english

فایل:

PDF, 3.09 MB

0 / 0

english, 2007

Pioneers and Their Contributions to Software Engineering: sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

K. Samelson, F. L. Bauer (auth.), Manfred Broy, Ernst Denert (eds.)

کال:

2001

ژبه:

english

فایل:

PDF, 34.05 MB

0 / 0

english, 2001

Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Manfred Broy (auth.), Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.)

کال:

2013

ژبه:

english

فایل:

PDF, 5.15 MB

0 / 0

english, 2013

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

کال:

2005

ژبه:

english

فایل:

PDF, 6.45 MB

0 / 0

english, 2005

Formal Systems Specification: The RPC-Memory Specification Case Study

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

کال:

1996

ژبه:

english

فایل:

PDF, 8.22 MB

0 / 0

english, 1996

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

کال:

2010

ژبه:

german

فایل:

PDF, 1.20 MB

0 / 0

german, 2010

Model-Based Testing of Reactive Systems: Advanced Lectures

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

کال:

2005

ژبه:

english

فایل:

PDF, 5.87 MB

0 / 0

english, 2005

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)

کال:

2012

ژبه:

english

فایل:

PDF, 8.59 MB

0 / 0

english, 2012

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 13.88 MB

0 / 0

english, 2009

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

کال:

1996

ژبه:

english

فایل:

PDF, 6.23 MB

0 / 5.0

english, 1996

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

کال:

2010

ژبه:

german

فایل:

PDF, 1.36 MB

0 / 0

german, 2010

Program Design Calculi

Carroll Morgan (auth.), Manfred Broy (eds.)

کال:

1993

ژبه:

english

فایل:

PDF, 13.42 MB

0 / 0

english, 1993

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

کال:

1996

ژبه:

english

فایل:

DJVU, 3.86 MB

0 / 0

english, 1996

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

Broy, Manfred (ed.)

کال:

1986

ژبه:

english

فایل:

DJVU, 5.62 MB

0 / 0

english, 1986

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

کال:

2005

ژبه:

english

فایل:

PDF, 6.11 MB

0 / 0

english, 2005

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 35.10 MB

0 / 0

english, 2009

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.)

کال:

1998

ژبه:

english

فایل:

PDF, 3.20 MB

0 / 0

english, 1998

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

کال:

2003

ژبه:

english

فایل:

PDF, 7.03 MB

0 / 0

english, 2003

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

کال:

2003

ژبه:

english

فایل:

PDF, 5.85 MB

0 / 0

english, 2003

Requiem pour une naine (French Edition)

کال:

2021

ژبه:

french

فایل:

EPUB, 566 KB

0 / 0

french, 2021

Информатика. Ч.2: Вычислительные структуры и машинно-ориентированное программирование

کال:

1996

ژبه:

russian

فایل:

DJVU, 2.92 MB

0 / 0

russian, 1996

Информатика. Ч.3: Структуры систем и системное программирование

کال:

1996

ژبه:

russian

فایل:

DJVU, 2.67 MB

0 / 0

russian, 1996

Информатика. Ч.4: Теоретическая информатика, алгоритмы и структуры данных, логическое программирование

کال:

1998

ژبه:

russian

فایل:

DJVU, 2.23 MB

0 / 0

russian, 1998

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

کال:

2005

ژبه:

english

فایل:

PDF, 5.87 MB

0 / 0

english, 2005

Requiem pour une naine

Alphonse Broy [Broy, Alphonse]

کال:

2021

ژبه:

french

فایل:

EPUB, 492 KB

0 / 0

french, 2021

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

کال:

2005

ژبه:

english

فایل:

TXT, 1.63 MB

0 / 0

english, 2005

Le Broyeur, Concerto pour chargeurs

کال:

2021

ژبه:

french

فایل:

EPUB, 428 KB

0 / 4.0

french, 2021

The Munich Project CIP

F. L. Brauer, R. Berghammer, W. Dosch, R. Gnatz, E. Hangel, B. Möller, H. Partsch, P. Pepper, K. Samelson, H. Wössner, M. Broy, F. Nickl, M. Wirsing, F. Geiselbrechtinger, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner (auth.)

کال:

1985

ژبه:

english

فایل:

DJVU, 1.87 MB

0 / 0

english, 1985

Информатика. Ч.1

کال:

1996

ژبه:

russian

فایل:

DJVU, 5.14 MB

0 / 0

russian, 1996

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

کال:

2010

ژبه:

german

فایل:

PDF, 1.26 MB

0 / 5.0

german, 2010

The Munich Project CIP

کال:

1985

ژبه:

english

فایل:

PDF, 3.57 MB

0 / 0

english, 1985

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

کال:

2005

ژبه:

english

فایل:

FB2 , 3.18 MB

0 / 0

english, 2005

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

کال:

2005

ژبه:

english

فایل:

MOBI , 1.81 MB

0 / 0

english, 2005

Program design calculi

Manfred Broy

کال:

1993

ژبه:

english

فایل:

DJVU, 3.62 MB

0 / 3.5

english, 1993

Requiem pour une naine

کال:

2021

ژبه:

french

فایل:

EPUB, 566 KB

0 / 5.0

french, 2021

Requiem pour une naine (French Edition)

کال:

2021

ژبه:

french

فایل:

EPUB, 566 KB

0 / 0

french, 2021

Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

Springer International Publishing

Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck

کال:

2021

ژبه:

english

فایل:

PDF, 16.86 MB

0 / 4.0

english, 2021

Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology

Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger (eds.)

کال:

2016

ژبه:

english

فایل:

PDF, 42.87 MB

0 / 0

english, 2016

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Klaus Beetz, Dr. Wolfgang Böhm (auth.), Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy (eds.)

کال:

2012

ژبه:

english

فایل:

PDF, 10.50 MB

0 / 0

english, 2012

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

کال:

1985

ژبه:

english

فایل:

PDF, 26.53 MB

0 / 0

english, 1985

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

Springer Fachmedien Wiesbaden; Springer Vieweg

Manfred Broy

کال:

2019

ژبه:

german

فایل:

PDF, 4.91 MB

0 / 5.0

german, 2019

Einführung in die Softwaretechnik

Manfred Broy & Marco Kuhrmann

کال:

2021

ژبه:

german

فایل:

PDF, 21.92 MB

0 / 0

german, 2021

Programming and Mathematical Method: International Summer School